Original Loop Bounds Loop Bounds Assumed Constant

نویسندگان

  • Paul M. Petersen
  • David A. Padua
چکیده

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Adapting Fourier-Motzkin Elimination to Compute Bounds in Multilevel Tiling

This work focuses on the complexity of computing exact loop bounds in Multilevel Tiling. Conventional tiling techniques implement tiling using first strip-mining and afterwards loop interchange. Multilevel tiling has typically been implemented applying tiling level by level. We present a new way to implement Multilevel Tiling that deals with all levels simultaneously, performing a loop intercha...

متن کامل

ضریب گشتاور مغناطیسی لپتون باردار در فضا- زمان ناجابه‌جایی

 The g-factor of the charged leptons has always been considered by many physicists, both experimentaly as well as theoretically. In fact the electron and muon g-factor play the main role in testing the QED as well as the standard model. Meanwhile, there is a discrepancy between the standard model prediction of the muon anomalies magnetic moment and its experimental determination as large as (25...

متن کامل

Generalized Unimodular Loop Transformations for Distributed Memory Multiprocessors

In this paper, we present a generalized unimodular loop transformation as a simple, systematic and elegant method for partitioning the iteration spaces of nested loops for execution on distributed memory multiprocessors. We present a methodology for deriving the transformations that internalize multiple dependences in a multidimen-sional iteration space without resulting in a deadlocking situat...

متن کامل

Robust H2 switching gain-scheduled controller design for switched uncertain LPV systems

In this article, a new approach is proposed to design robust switching gain-scheduled dynamic output feedback control for switched uncertain continuous-time linear parameter varying (LPV) systems. The proposed robust switching gain-scheduled controllers are robustly designed so that the stability and H2-gain performance of the switched closed-loop uncertain LPV system can be guaranteed even und...

متن کامل

Tighter Loop Bound Analysis (Technical report)

We present a new algorithm for computing upper bounds on the number of executions of each program instruction during any single program run. The upper bounds are expressed as functions of program input values. The algorithm is primarily designed to produce bounds that are relatively tight, i.e. not unnecessarily blown up. The upper bounds for instructions allow us to infer loop bounds, i.e. upp...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1993